Quantum Error Correction theory proven